perm filename RRR[1,JRA] blob sn#005841 filedate 1972-07-21 generic text, type T, neo UTF8
00100	((((LE(X2 X1) ∧ LE(X1 X3)) → LE(A(X1) A(X4))) ∧ LE(X5 X3)) →((LE(X2 X1) ∧ LE(X1 X5))→LE(A(X1) A(X4)))) ;
00200	;